🇩🇪 de en 🇬🇧

lokalkompakte Gruppe

locally compact group